Read Only Anomaly

読み取り専用トランザクションでも、他トランザクションの並列更新により整合性の取れない状態を読み取ってしまう問題

典型例（制約読み取り）

T1: 読み取り専用トランザクション

「システム全体の不変条件」をチェック

その最中に

T2 と T3 が互いに独立に更新

それぞれ単独では制約を破らないが

両方同時に起きると制約破る

T1 は両方の更新結果を見てしまい、

「本来起こるはずのない（Serializable なら排他される）」矛盾を観測してしまう。

起こりやすいレベル

Snapshot Isolation

Serializable で防止。